Nuprl Definition : ring_quot_hom
13,42
postcript
pdf
nat(
r
;
a
)(
x
) ==
x
latex
Up
rings
1
origin